An algebraic criterion for immersion

An Immersion and Invariance Algorithm for a Differential Algebraic System

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets

We consider intuitionistic fragments of multiplicative linear logic for which we deene appropriate notions of proof-nets. These are based on a correctness criterion that consists of decorating the nodes of a proof-structure with monoidal terms that must obey constraints reminiscent of phase semantics.

An Algebraic Correctness Criterion for Intuitionistic Proof-Nets

An Algebraic Proof of Deligne’s Regularity Criterion for Integrable Connections

Deligne’s regularity criterion for an integrable connection ∇ on a smooth complex algebraic variety X says that ∇ is regular along the irreducible divisors at infinity in some fixed normal compactification of X if and only if the restriction of ∇ to every smooth curve on X is fuchsian (i. e. has only regular singularities at infinity). The “only if” part is the difficult implication. Deligne’s ...